BH-CIFOL: Case-Intensional First Order Logic
نویسندگان
چکیده
منابع مشابه
BH-CIFOL: Case-Intensional First Order Logic
This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the...
متن کاملBH-CIFOL: Case-Intensional First Order Logic: (II) Branching Histories.
This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the...
متن کاملCIFOL: Case-Intensional First Order Logic
This is part I of a two-part essay introducing case-intensional first order logic (CIFOL), an easy-to-use, uniform, powerful, and useful combination of firstorder logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus (Yale University Press 1972). CIFOL starts with a set of cases; each expression has an extension in each c...
متن کاملCIFOL: Case-intensional first order logic (I) Toward a theory of sorts
This is Part I of a two-part essay. We present CIFOL, an (1) easy-to-use, (2) uniform, (3) powerful, and (4) useful combination of first order logic with modal logic resulting from philosophical and technical modifications of Bressan 1972. Such an intensional first-order logic, or quantified modal logic, must be able to represent facts about the identity and distinctness of things in different ...
متن کاملFirst-order intensional logic
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet another line of research, using intensional objects, that traces back to Richard Montague. I have been invo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2013
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-013-9292-4